$\forall$$R$:Realizer, $k$:Knd, $i$:Id. write{-}restricted($R$;$i$;$k$) $\in$ $\mathbb{B}$